Nuprl Definition : flip
4,23
postcript
pdf
(
i
,
j
)(
x
) == if
x
=
i
j
;
x
=
j
i
else
x
fi
latex
Definitions
if
b
t
else
f
fi
,
i
=
j
FDL editor aliases
flip
origin
i
j ; x=j i else x fi i j ; x=j i else x fi t else f fij